无源时差定位布站形式对定位精度的影响

用时差法对空中机动目标进行定位,地面至少需要四个基站工作,而地面基站的布站形式对定位精度有很大的影响.通过计算机对时差定位的三种基本布站形式进行分析和仿真,得出了目标定位精度与布站方式的关系,即在相同的测量条件下达到最优的测量结果.通过建立时差定位模型,分析影响定位精度的各因素,得出了不同布站情况下的几何精度因子图,为无源时差定位系统的布站提供理论指导.     

Hilbert空间极大单调算子零点的逼近问题

设H为实Hilbert空间,C为H的非空闭凸子集,T:C→2H为极大单调算子,假设S(T)={X∈H:O∈Tx}≠Φ。求xk及ek满足设Pc:H→C为H到C上的最近点投影算子,定义证明了Hilbert空间中由上式产生的序列{xk}k≥0弱收敛于T的某个零点。     

大子直积与其系数环

设 为无限正则基数,F为集合I的滤子,通过模的 积和F-积给出了其系数环R相关结构的特征刻画。作为应用,一些已有的结果得到了推广。     

侵彻靶板过程中刚体过载特征提取方法

针对引信动态环境非常复杂各种振动非常丰富,侵彻加速度信号含有许多瞬变成分,是非平稳时变信号,采用局部均值分解算法自适应的对侵彻加速度信号进行分解,从而提取加速度信号刚体过载特征和加速度信号频率分布特性,有效准确地对信号机理进行分析.为了使得侵彻特征更加明显,利用半正弦波形作为匹配波形,采用匹配相关算法得到侵彻过程层穿越的特征信号,更有效实时地进行层识别或者空穴识别.     

双曲线法抗跟踪干扰研究

针对中、低速跳频电台跟踪干扰问题,从通信抗干扰的角度出发,通过对干扰椭圆方程的变形分析,提出了抗跟踪干扰的双曲线法,推导了抗干扰双曲线的方程,并计算出了跟踪干扰无效区域。最后,分析了该双曲线的特点及影响因素,介绍了该方法的运用。与现有的抗跟踪干扰理论依据相比,根据双曲线法选择抗干扰措施更直观、更简单。     

基于矩阵变换的坦克驾驶训练数字化记录与评判系统研究

为了解决坦克驾驶训练中因操作状态难以保留、操作细节难以再现而无法实现对训练成果深入分析与客观评价的不足,以坦克驾驶训练数字化记录与评判系统总体设计为切入点,基于基础驾驶动作的分解与组合以及车辆状态信息获取设计了驾驶动作记录仪,实现了坦克驾驶训练过程中动作状态信息的采集与数字化存储,并应用矩阵变换理论,提出了一种基于关键性动作参数查找与判断的方法,对基础驾驶动作进行了过程识别与效果评判。分析表明:该系统的技术能对坦克驾驶动作状态进行数字化记录,而基于状态矩阵变换的方法能实现基本驾驶过程的识别与评判。     

基于分离逻辑的程序分析技术

分离逻辑是John C Reynolds和Peter O’Hearn于2000年提出的基于Hoare逻辑分析程序中动态分配内存和指针别名的逻辑理论。首先回顾了分离逻辑系统的理论框架,然后讨论了分离逻辑在程序分析领域中符号执行、形态分析和并发程序分析验证这些领域中的应用成果,最后介绍了分离逻辑在程序分析技术中当前主要的研究方向。     

碳纳米管场效应管尺寸缩小特性的比较

由于具有更为显著的量子隧穿效应,碳纳米管场效应管具有较硅基MOS管不同的尺寸缩小特性,同时,由于工作机理的不同,类MOS碳纳米管场效应管(C-CNFETs:Conventional MOS-like Carbon Nanotube Field Effect Transistors)的尺寸缩小特性与隧穿碳纳米管场效应管(...     

集团军反空袭战役空中威胁评估

运用定量和定性分析相结合的方法,对集团军反空袭战役空中威胁问题进行了分析,提出了评估的方法和步骤,建立了评估模型,并结合实例对评估方法、步骤、模型进行了分析验证。实例计算表明,利用该方法所实现的判断结果预见性好、可靠性强,对未来集团军反空袭作战有一定的现实意义。     

弹药装填机器人自适应PD控制算法

针对弹药装填机器人取弹后自身质量改变较大,运转时会受到质量变化和复杂车内环境共同作用,容易产生运动位移误差现象,采用一种基于重力改进的自适应PD控制算法,实现了弹药装填机器人实际运动轨迹与预定轨迹的快速跟踪要求,并通过Matlab-Simulink进行了仿真验证,得到了较好的控制效果。